Robust Invariant Set Analysis of Boolean Networks

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Minimal Robust Positively Invariant Set for Linear Difference Inclusions and its Robust Positively Invariant Approximations

Robust positively invariant (RPI) sets for linear difference inclusions are considered here under the assumption that the linear difference inclusion is absolutely asymptotically stable in the absence of additive state disturbances, which is the case for parametrically uncertain or switching linear discrete-time systems controlled by a stabilizing linear state feedback controller. The existence...

متن کامل

The Boolean Logic of Set Sharing Analysis

We show that Jacobs and Langen's domain for set-sharing analysis is isomorphic to the domain of positive Boolean functions, introduced by Marriott and SSndergaard for groundness dependency analysis. Viewing a set-sharing description as a minterm representation of a Boolean function leads to re-casting sharing analysis as an instantiation dependency analysis. The key idea is to view the sets of ...

متن کامل

Robust Benchmark Set Selection for Boolean Constraint Solvers

We investigate the composition of representative benchmark sets for evaluating and improving the performance of robust Boolean constraint solvers in the context of satisfiability testing and answer set programming. Starting from an analysis of current practice, we isolate a set of desiderata for guiding the development of a parametrized benchmark selection algorithm. Our algorithm samples a ben...

متن کامل

A New Robust Bootstrap Algorithm for the Assessment of Common Set of Weights in Performance Analysis

The performance of the units is defined as the ratio of the weighted sum of outputs to the weighted sum of inputs. These weights can be determined by data envelopment analysis (DEA) models. The inputs and outputs of the related (Decision Making Unit) DMU are assessed by a set of the weights obtained via DEA for each DMU. In addition, the weights are not generally common, but rather, they are ve...

متن کامل

Invariant Set-based Robust Softly Switched Model Predictive Control

It is common that an efficient constrained plant operation under full range of disturbance inputs requires meeting different sets of control objectives. This calls for application of multiple model predictive controllers each of them being best fit into specific operating conditions. It is inevitable then to switch between the controllers during the plant operation. A simple immediate hard swit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Complexity

سال: 2019

ISSN: 1076-2787,1099-0526

DOI: 10.1155/2019/2731395